Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Zawory spinowe i memrystory pozwolą zbudować spintroniczny komputer?
28 kwietnia 2017, 08:28Naukowcy z amerykańskiego NIST (Narodowy Instytut Standardów i Technologii) opracowali urządzenie, które może stać się podstawowym elementem budowy wysoko wydajnych energooszczędnych komputerów przyszłości.
Polskie urządzenie pomoże zbadać Jowisza
16 listopada 2018, 11:56Astri Polska dostarczyła urządzenie dla misji badawczej Europejskiej Agencji Kosmicznej (ESA), której celem będzie zbadanie Jowisza i jego lodowych księżyców. Urządzenie będzie miało istotne znaczenie dla powodzenia tej misji i jest najbardziej zaawansowanym technicznie produktem opracowanym przez warszawską firmę.
Chcą, by Google płacił wielomiliardowe odszkodowanie za śledzenie w trybie incognito
3 czerwca 2020, 14:34Przed sądem federalnym w San Jose złożono pozew zbiorowy przeciwko Google'owi. Autorzy pozwu oskarżają wyszukiwarkowego giganta o to, że zbiera informacje o internautach mimo iż używają oni trybu prywatnego przeglądarki. Uważają, że Google powinien zapłacić co najmniej 5 miliardów dolarów grzywny.
Powstały procesory kwantowe niemal wolne od błędów. Polak współautorem przełomowych badań
20 stycznia 2022, 10:10Dzisiejsza publikacja pokazuje, że obliczenia przeprowadzane przez nasz procesor były w ponad 99% wolne od błędów. Gdy odsetek błędów jest tak mały, możliwym staje się ich wykrywanie i korygowanie w czasie rzeczywistym. A to oznacza, że można wybudować skalowalny komputer kwantowy wykonujący wiarygodne obliczenia, wyjaśnia profesor Andrea Morello z UNSW.
